Ident. | Authors (with country if any) | Title |
---|
000046 |
Stéphane Vialle [France] ; Sylvain Contassot-Vivier [France] ; Patrick Mercier [France] | Generic algorithmic scheme for 2D stencil applications on hybrid machines |
000065 |
Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Michel Lenczner [France] | Closed combination of context-embedding iterative strategies |
000073 |
Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne] | Extended security arguments for signature schemes |
000085 |
Benjamin Camus [France] ; Virginie Galtier [France] ; Mathieu Caujolle [France] ; Vincent Chevrier [France] ; Julien Vaubourg [France] ; Laurent Ciarletta [France] ; Christine Bourjot [France] | Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO |
000126 |
Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France] | Automated verification of equivalence properties of cryptographic protocols |
000149 |
Béatrice Brembilla-Perrot [France] ; Arnaud Olivier [France] ; Jean-Marc Sellal [France] ; Vladimir Manenti [France] ; Alice Brembilla [France] ; Thibaut Villemin [France] ; Philippe Admant [France] ; Daniel Beurrier [France] ; Erwan Bozec [France] ; Nicolas Girerd [France] | Influence of advancing age on clinical presentation, treatment efficacy and safety, and long-term outcome of pre-excitation syndromes: a retrospective cohort study of 961 patients included over a 25-year period. |
000184 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France] | Secure refinements of communication channels |
000228 |
Jean-Marie Gauthier [France] | Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation |
000231 |
Tushant Jha [France] ; Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata |
000237 |
Houari Mahfoud [Algérie] ; Abdessamad Imine [France] | Efficient Querying of XML Data Through Arbitrary Security Views |
000243 |
Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France] | Towards an automatic tool for multi-scale model derivation |
000249 |
Olga Kouchnarenko [France] ; Jean-François Weber [France] | Practical Analysis Framework for Component Systems with Dynamic Reconfigurations |
000255 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | From Security Protocols to Pushdown Automata |
000270 |
Frédéric Dadeau [France] ; Elizabeta Fourneret [France] | Experience report on Model-Based Testing of Security Components |
000282 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France] | Secure refinements of communication channels |
000303 |
Jannik Dreier [France] ; Jean-Guillaume Dumas [France] ; Pascal Lafourcade [France] | Brandt's fully private auction protocol revisited |
000311 |
Nadir Guetmi [France] ; Abdessamad Imine [France] | A Cloud-Based Reusable Design for Mobile Data Sharing |
000313 |
Noam Zeilberger [France] ; Alain Giorgetti [France] | A correspondence between rooted planar maps and normal planar lambda terms |
000316 |
Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Unification and Matching in Hierarchical Combinations of Syntactic Theories |
000317 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Checking Trace Equivalence: How to Get Rid of Nonces? |
000318 |
Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Rewriting Approach to the Combination of Data Structures with Bridging Theories |
000319 |
Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France] | Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array |
000332 |
Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France] | Mobile Co-Authoring of Linked Data in the Cloud |
000353 |
Sylvain Contassot-Vivier [France] ; Stéphane Vialle [France] | Algorithmic scheme for hybrid computing with CPU, Xeon-Phi/MIC and GPU devices on a single machine |
000376 |
Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Differentially Private Publication of Social Graphs at Linear Cost |
000377 |
Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France] | Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data |
000397 |
Pierre-Cyrille Heam [France] ; Jean-Luc Joly [France] | On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism |
000398 |
Hoang Bao Thien [France] ; Abdessamad Imine [France] | Efficient and Decentralized Polling Protocol for General Social Networks |
000399 |
Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France] | Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata |
000416 |
Didier Fass [France] ; Franck Gechter [France] | Towards a Theory for Bio - Cyber Physical Systems Modelling |
000420 |
Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Parametrized automata simulation and application to service composition |
000425 |
Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited |
000445 |
Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France] | Resilient Collaboration for Mobile Cloud Computing |
000462 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Decidability of trace equivalence for protocols with nonces |
000467 |
Julien Vaubourg [France] ; Yannick Presse [France] ; Benjamin Camus [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] ; Jean-Philippe Tavella [France] ; Boris Deneuville [France] ; Olivier Chilard [France] | Simulation de smart grids avec MECSYCO |
000505 |
Julien Vaubourg [France] ; Yannick Presse [France] ; Benjamin Camus [France] ; Christine Bourjot [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] ; Jean-Philippe Tavella [France] ; Hugo Morais [France] ; Boris Deneuville [France] ; Olivier Chilard [France] | Smart Grids Simulation with MECSYCO |
000506 |
Julien Vaubourg [France] ; Yannick Presse [France] ; Benjamin Camus [France] ; Christine Bourjot [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] ; Jean-Philippe Tavella [France] ; Hugo Morais [France] | Multi-agent Multi-Model Simulation of Smart Grids in the MS4SG Project |
000530 |
Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France] | Towards Real-Time Co-authoring of Linked-Data on the Web |
000558 |
David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; David Galindo [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni] | A comprehensive analysis of game-based ballot privacy definitions |
000559 |
Frédéric Dadeau [France] ; Pascale Le Gall [France] | Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels |
000585 |
Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Anonymizing Social Graphs via Uncertainty Semantics |
000587 |
Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France] ; Ladjel Bellatreche [France] | Mobile collaboration: a collaborative editing service in the cloud |
000590 |
Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique] | Type-Based Verification of Electronic Voting Protocols |
000596 |
Vincent Cheval [France] ; Véronique Cortier [France] | Timing attacks in security protocols: symbolic framework and proof techniques |
000622 |
Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A rule-based system for automatic decidability and combinability |
000637 |
Hoang Bao Thien [France] | On the Polling Problem for Decentralized Social Networks |
000639 |
Aurel Randolph [Canada] ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Alejandro Quintero [Canada] | On Synthesizing a Consistent Operational Transformation Approach |
000659 |
Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France] | Gagnez sur tous les tableaux |
000661 |
Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et Analyse d’un Protocole de Contrôle d’Accès Optimiste pour Éditeurs Collaboratifs Répartis |
000668 |
Thibault Maillot [France] ; Ugo Boscain [France] ; Jean-Paul Gauthier [France] ; Ulysse Serres [France] | Lyapunov and Minimum-Time Path Planning for Drones |
000669 |
Véronique Cortier [France] | Formal verification of e-voting: solutions and challenges |
000679 |
Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Ahmed Hammad [France] ; Fabien Peureux [France] | Tooled Process for Early Validation of SysML Models using Modelica Simulation |
000693 |
Jannik Dreier [France] ; Cristian Ene [France] ; Pascal Lafourcade [France] ; Yassine Lakhnech [France] | On the existence and decidability of unique decompositions of processes in the applied π-calculus |
000722 |
Bruno Scherrer [France] ; Mohammad Ghavamzadeh [France] ; Victor Gabillon [France] ; Boris Lesner [France] ; Matthieu Geist [France] | Approximate Modified Policy Iteration and its Application to the Game of Tetris |
000790 |
Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France] | Sequential generation of structured arrays and its deductive verification |
000805 |
Fabrice Bouquet [France] ; Sébastien Chipeaux [France] ; Christophe Lang [France] ; Nicolas Marilleau [France] ; Jean-Marc Nicod [France] ; Patrick Taillandier [France] | Introduction à l'approche agent |
000806 |
Fabrice Bouquet [France] ; David Sheeren [France] ; Nicolas Becu [France] ; Benoit Gaudou [France] ; Christophe Lang [France] ; Nicolas Marilleau [France] ; Claude Monteil [France] | Formalismes de description des modèles agent |
000817 |
Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Fabien Peureux [France] ; Hammed Ahmad [France] | A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing |
000818 |
Asma Cherif [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Practical access control management for distributed collaborative editors |
000851 |
Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard |
000852 |
Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France] | On the Uniform Random Generation of Determinisitic Partially Ordered Automata using Monte Carlo Techniques |
000862 |
Alexandre Vernotte [France] ; Frédéric Dadeau [France] ; Franck Lebeau [France] ; Bruno Legeard [France] ; Fabien Peureux [France] ; François Piat [France] | Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities |
000863 |
Maxime Bride [France] ; Pierre-Cyrille Héam [France] ; Isabelle Jacques [France] | Computing Semicommutation Closures: a Machine Learning Approach |
000875 |
Cyrille Wiedling [France] | Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs |
000885 |
Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France] | A Symbolic Transformation Language and its Application to a Multiscale Method |
000888 |
Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | A Maximum Variance Approach for Graph Anonymization |
000900 |
Aloïs Dreyfus [France] | Contribution to the efficient model-based verification andtesting |
000936 |
Bruno Scherrer [France] ; Matthieu Geist [France] | Local Policy Search in a Convex Space and Conservative Policy Iteration as Boosted Policy Search |
000951 |
Véronique Cortier [France] ; Steve Kremer [France] | Formal Models and Techniques for Analyzing Security Protocols: A Tutorial |
000960 |
Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France] | Verifying Modal Workflow Specifications Using Constraint Solving |
000961 |
Ivan Enderlin [France] ; Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] | Praspel: Contract-Driven Testing for PHP using Realistic Domains |
000980 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Typing messages for free in security protocols: the~case of equivalence properties |
000981 |
Véronique Cortier [France] ; David Galindo [France] ; Stephane Glondu [France] ; Malika Izabachène [France] | Election Verifiability for Helios under Weaker Trust Assumptions |
000A04 |
Walid Belkhir [France] ; Gisela Rossi [France] ; Michael Rusinowitch [France] | A Parametrized Propositional Dynamic Logic with Application to Service Synthesis |
000A20 |
Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | How Test Generation Helps Software Specification and Deductive Verification in Frama-C |
000A31 |
Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures |
000A32 |
Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions |
000A35 |
Michaël Rusinowitch [France] | Automated Verification of Security Protocols and Services |
000A38 |
Ivan Enderlin [France] | Automated Unit Test Generation with Praspel, a Specification Language for PHP |
000A42 |
Ahmed Hammad [France] ; Fabrice Bouquet [France] ; Jean-Marie Gauthier [France] ; Dominique Gendreau [France] | Modeling and simulation of modular complex system: Application to air-jet conveyor |
000A67 |
Véronique Cortier [France] | Electronic Voting: How Logic Can Help |
000A69 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Guillaume Scerri [France] | A tool for automating the computationally complete symbolic attacker (Extended Abstract) |
000A95 |
Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France] | Dynamic Tags for Security Protocols |
000B01 |
Jose Antonio Martin [Espagne] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Ernesto Pimentel [Espagne] ; Mathieu Turuani [France] | On the Synthesis of Secure Services Composition |
000B17 |
Alain Lelu [France] ; Azim Roussanaly [France] | Espaces intrinsèques des relations entre mots : une exploration multi-échelle. |
000B37 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Typing messages for free in security protocols: the case of equivalence properties |
000B39 |
Véronique Cortier [France] ; David Galindo [France] ; Stephane Glondu [France] ; Malika Izabachène [France] | Election Verifiability for Helios under Weaker Trust Assumptions |
000B57 |
Steve Kremer [France] ; Robert Künnemann [France] | Automated Analysis of Security Protocols with Global State |
000B58 |
Jens Gustedt [France] ; Stéphane Vialle [France] ; Patrick Mercier [France] | Resource Centered Computing delivering high parallel performance |
000B59 |
Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C |
000B67 |
Bruno Scherrer [France] ; Matthieu Geist [France] | Quand l'optimalité locale implique une garantie globale : recherche locale de politique dans un espace convexe et algorithme d'itération sur les politiques conservatif vu comme une montée de gradient fonctionnel |
000B97 |
David Galindo [France] | Compact hierarchical identity-based encryption based on a harder decisional problem |
000C07 |
Arnaud Lanoix [France] ; Olga Kouchnarenko [France] | Component Substitution through Dynamic Reconfigurations |
000C15 |
Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Jacques Julliand [France] | Coverage Criteria for Model-Based Testing using Property Patterns |
000C18 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | On Asymmetric Unification and the Combination Problem in Disjoint Theories |
000C22 |
David Galindo [France] ; Srinivas Vivek [Luxembourg (pays)] | Limits of a conjecture on a leakage-resilient cryptosystem |
000C34 |
Ghazi Maatoug [France] ; Frédéric Dadeau [France] ; Michael Rusinowitch [France] | Model-Based Vulnerability Testing of Payment Protocol Implementations |
000C35 |
Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version) |
000C53 |
Steve Kremer [France] ; Robert Künnemann [Allemagne] | Automated analysis of security protocols with global state |
000C59 |
Laurent Ciarletta [France] ; Leilani Gilpin [États-Unis] ; Yannick Presse [France] ; Vincent Chevrier [France] ; Virginie Galtier [France] | Co-simulation Solution using AA4MM-FMI applied to Smart Space Heating Models |
000C69 |
Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Enforcing Privacy in Decentralized Mobile Social Networks |
000C75 |
Houari Mahfoud [France] | Efficient Access Control to XML Data: Querying and Updating Problems |
000C83 |
Alain Lelu [France] | Jean-Baptiste Estoup and the origins of Zipf's law: a stenographer with a scientific mind (1868-1950) |
000C88 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Asymmetric Unification and the Combination Problem in Disjoint Theories |
000D08 |
Bin Yang [France] ; Walid Belkhir [France] ; Michel Lenczner [France] | Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework |
000D26 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining |
000D31 |
Jérome Cantenot [France] ; Fabrice Ambert [France] ; Fabrice Bouquet [France] | Test generation with SMT solvers in Model Based Testing |
000D42 |
Martin Abadi [États-Unis] ; Steve Kremer [France] | Principles of Security and Trust |
000D51 |
Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Modeling and Verifying Ad Hoc Routing Protocols |
000D52 |
Fabrice Bouquet [France] ; Fabien Peureux [France] ; Fabrice Ambert [France] | Model-Based Testing for Functional and Security Test Generation |
000D86 |
Aloïs Dreyfus [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France] | A random testing approach using pushdown automata |
000D90 |
Véronique Cortier [France] ; Graham Steel [France] | A Generic Security API for Symmetric Key Management on Cryptographic Devices |
000E19 |
Wahiba Ramdane Cherif-Khettaf [France] ; Mais Haj Rachid ; Christelle Bloch [France] ; Pascal Chatonnay [France] | New Notation and Classification Scheme for Vehicle Routing Problems |
000E30 |
Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France] | Versatile, scalable, and accurate simulation of distributed applications and platforms |
000E77 |
Olga Kouchnarenko [France] ; Jean-Francois Weber [France] | Decentralised Evaluation of Temporal Patterns over Component-based Systems at Runtime |
000E96 |
David Galindo [France] ; Srinivas Vivek | A Leakage-Resilient Pairing-Based Variant of the Schnorr Signature Scheme |
000F17 |
Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France] | A Random Testing Approach Using Pushdown Automata |
000F24 |
Kalou Cabrera Castillos [France] | Automated test scenario generation from termporal properties and behavioural models |
000F25 |
Hoang Bao Thien [France] ; Abdessamad Imine [France] | On Constrained Adding Friends in Social Networks |
000F28 |
Michael Rusinowitch [France] | Automated verification of security protocols and application to services |
000F38 |
Jérome Cantenot [France] | Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation |
000F47 |
Véronique Cortier [France] ; David Galindo [France] ; Stephane Glondu [France] ; Malika Izabachène [France] | Distributed ElGamal à la Pedersen - Application to Helios |
000F48 |
Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | Deduction Soundness: Prove One, Get Five for Free |
000F52 |
David Galindo [France] | A note on an IND-CCA2 secure Paillier-based cryptosystem |
000F61 |
Olga Kouchnarenko [France] ; Jean-Francois Weber [France] | Adapting Component-based Systems at Runtime via Policies with Temporal Patterns |
000F63 |
Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Guarded Variable Automata over Infinite Alphabets |
000F64 |
Matthieu Geist [France] ; Edouard Klein [France] ; Bilal Piot [France] ; Yann Guermeur [France] ; Olivier Pietquin [France] | Around Inverse Reinforcement Learning and Score-based Classification |
000F66 |
Alain Lelu [France] ; Michel Zitt [France] ; Elise Bassecoulard [France] | Robustesse des classements bibliométriques, à travers la convergence des thèmes obtenus par citations et lexiques : une méthode hybride pour une représentation mixte |
000F96 |
Houari Mahfoud [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | SVMAX: a system for secure and valid manipulation of XML data |
001009 |
Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Quintero Alejandro | Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors |
001015 |
Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Fresh-Variable Automata for Service Composition |
001031 |
Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France] | SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems |
001040 |
Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni] | Frontiers of Combining Systems |
001057 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Particle Swarm Optimisation of Spoken Dialogue System Strategies |
001066 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Model-free POMDP optimisation of tutoring systems with echo-state networks |
001094 |
Elena Tushkanova [France] | Schematic calculi for the analysis of decision procedures |
001097 |
Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Enhancing Approximations for Regular Reachability Analysis |
001102 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Antoine Plet [France] | Lengths may break privacy -- or how to check for equivalences with length |
001108 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | From security protocols to pushdown automata |
001119 |
Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Bruno Legeard [France] ; Fabien Peureux [France] | Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing |
001123 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Optimisation par essaims particulaires de stratégies de dialogue |
001140 |
Florent Jacquemard [France] ; Michaël Rusinowitch [France] | Unranked tree rewriting and effective closures of languages |
001141 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination of Unification Algorithms |
001151 |
Laurent Ciarletta [France] ; Virginie Galtier [France] ; Adrien Guenard [France] ; Yannick Presse [France] | Using a flock of UAVs as a CPS and platform for application-driven research |
001153 |
Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability: A Schematic Calculus for Theories with Counting Operators |
001168 |
Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] ; Safouan Taha [France] ; Bilal Kanso [France] | A Compositional Automata-based Semantics for Property Patterns |
001171 |
Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories with Counting Operators |
001173 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Guillaume Scerri [France] | Tractable inference systems: an extension with a deducibility predicate |
001220 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Random Projections: a Remedy for Overfitting Issues in Time Series Prediction with Echo State Networks |
001241 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | From security protocols to pushdown automata |
001257 |
Laurent Vigneron [France] | Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis |
001260 |
Florent Jacquemard [France] ; Michael Rusinowitch [France] | Rewrite Closure and CF Hedge Automata |
001262 |
Abdessamad Imine [France] ; Michael Rusinowitch [France] | Secure Collaboration for Smartphones |
001270 |
Ivan Enderlin [France] ; Alain Giorgetti [France] ; Fabrice Bouquet [France] | A Constraint Solver for PHP Arrays |
001277 |
Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Random Grammar-based Testing for Covering All Non-Terminals |
001278 |
Myrto Arapinis [Royaume-Uni] ; Véronique Cortier [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Practical Everlasting Privacy |
001295 |
Alain Lelu [France] ; Martine Cadot [France] | A Proposition for Fixing the Dimensionality of a Laplacian Low-rank Approximation of any Binary Data-matrix |
001300 |
Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Ahmed Hammad [France] ; Fabien Peureux [France] | Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS |
001335 |
Bruno Zanuttini [France] ; Guillaume J. Laurent [France] ; Olivier Buffet [France] | Apprentissage par renforcement et planification adaptative - Revue d'Intelligence Artificielle |
001344 |
Mathieu Baudet [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | YAPA: A generic tool for computing intruder knowledge |
001376 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding equivalence-based properties using constraint solving |
001378 |
Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Composition of Password-based Protocols |
001386 |
Véronique Cortier [France] ; Ben Smyth [France] | Attacking and fixing Helios: An analysis of ballot secrecy |
001635 |
Richard Giot [France] ; Albert Giraud [France] ; Christophe Auvray [France] | Assessing the Permeability in Anisotropic and Weakly Permeable Porous Rocks Using Radial Pulse Tests |
001786 |
Véronique Cortier [France] ; David Galindo [France] ; Stephane Glondu [France] ; Malika Izabachène [France] | A generic construction for voting correctness at minimum cost - Application to Helios |
001796 |
Hoang Bao Thien [France] ; Abdessamad Imine [France] | On the Polling Problem for Social Networks |
001799 |
Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France] | Compiling symbolic attacks to protocol implementation tests |
001835 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Senthilkumar Chandramohan [France] ; Olivier Pietquin [France] | A Comprehensive Reinforcement Learning Framework for Dialogue Management Optimisation |
001842 |
Asma Cherif [France] | Access Control Models for Collaborative Applications |
001849 |
Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Bruno Legeard [France] ; Fabien Peureux [France] | Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports |
001850 |
Florent Jacquemard [France] ; Michaël Rusinowitch [France] | Rewrite Closure and CF Hedge Automata |
001863 |
Alain Lelu [France] | Hommage : Roland Moreno (1945-2012) |
001873 |
Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories Modulo Integer Offsets |
001882 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
001883 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
001891 |
Marie Lefevre [France] ; Valentin Butoianu [France] ; Philippe Daubias [France] ; Lucie Daubigney [France] ; Françoise Greffier [France] ; Nathalie Guin [France] ; Stéphanie Jean-Daubias [France] ; Réjane Monod-Ansaldi [France] ; Hélène Terrat [France] | Personnalisation de l'apprentissage : confrontation entre besoins et approches. |
001893 |
Tigran Avanesov [Luxembourg (pays)] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Towards the Orchestration of Secured Services under Non-disclosure Policies. |
001925 |
Véronique Cortier [France] ; Graham Steel [France] ; Cyrille Wiedling [France] | Revoke and Let Live: A Secure Key Revocation API for Cryptographic Devices |
001926 |
David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni] | Measuring Vote Privacy, Revisited. |
001959 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Loops and overloops for Tree Walking Automata |
001969 |
Hoang Bao Thien [France] ; Abdessamad Imine [France] | On the Polling Problem for Social Networks |
001986 |
Aurel Randolph ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Quintero Alejandro | On Consistency of Operational Transformation Approach |
001A07 |
Véronique Cortier [France] ; Graham Steel [France] ; Cyrille Wiedling [France] | Revoke and Let Live: A Secure Key Revocation API for Cryptographic Devices |
001A17 |
Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | Intruder deducibility constraints with negation. Decidability and application to secured service compositions. |
001A18 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | On Positive TAGED with a Bounded Number of Constraints |
001A51 |
Alain Lelu [France] | Disciplinés et indisciplinés dans les débuts de la télématique |
001A52 |
Stéphanie Delaune [France] ; Steve Kremer [France] ; Daniel Pasaila [Canada] | Security protocols, constraint systems, and group theories |
001A53 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | From Linear Temporal Logic Properties to Rewrite Propositions |
001A56 |
Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo Synchronous Distributivity |
001A58 |
Matthieu Geist [France] ; Bruno Scherrer [France] ; Alessandro Lazaric [France] ; Mohammad Ghavamzadeh [France] | A Dantzig Selector Approach to Temporal Difference Learning |
001A62 |
Alain Giorgetti [France] ; Valerio Senni [Italie] | Specification and Validation of Algorithms Generating Planar Lehman Words |
001A91 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Optimisation d'un tuteur intelligent à partir d'un jeu de données fixé |
001A98 |
Mohamed Embarki [France] ; Slim Ouni [France] ; Fathi Salam [France] | Speech clarity and coarticulatory effects in standard and dialectal Arabic |
001B15 |
Edouard Klein [France] ; Bilal Piot [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Classification structurée pour l'apprentissage par renforcement inverse |
001B20 |
Matthieu Geist [France] ; Bruno Scherrer [France] ; Alessandro Lazaric [France] ; Mohammad Ghavamzadeh [France] | Un sélecteur de Dantzig pour l'apprentissage par différences temporelles |
001B24 |
Bruno Scherrer [France] ; Victor Gabillon [France] ; Mohammad Ghavamzadeh [France] ; Matthieu Geist [France] | Approximations de l'Algorithme Itérations sur les Politiques Modifié |
001B31 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | A General Approach for Securely Updating XML Data |
001B64 |
Ivan Enderlin [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] ; Fabrice Bouquet [France] | Grammar-Based Testing using Realistic Domains in PHP |
001B68 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | Secure querying of recursive XML views: a standard xpath-based technique |
001B76 |
Steve Kremer [France] ; Robert Kunnemann [France] ; Graham Steel [France] | Universally Composable Key-Management |
001B80 |
Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Ahmed Hammad [France] ; Fabien Peureux [France] | Transformation of SysML structure diagrams to VHDL-AMS |
001B81 |
B. Yang [France] ; W. Belkhir [France] ; R. N. Dhara [France] ; A. Giorgetti [France] ; M. Lenczner [France] | Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures |
001B93 |
Omar Chebaro [France] ; Nikola I Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis |
001B96 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Off-policy Learning in Large-scale POMDP-based Dialogue Systems |
001B97 |
Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie] | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures |
001B98 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Guillaume Scerri [France] | Security proof with dishonest keys |
001C00 |
Véronique Cortier [France] ; Jan Degrieck [France] ; Stéphanie Delaune [France] | Analysing routing protocols: four nodes topologies are sufficient |
001C01 |
Véronique Cortier [France] ; Cyrille Wiedling [France] | A formal analysis of the Norwegian E-voting protocol |
001C02 |
Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A Rule-Based Framework for Building Superposition-Based Decision Procedures |
001C14 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification modulo Chaining |
001C20 |
Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Régis Tissot [France] | Scenario-Based Testing using Symbolic Animation of B Models |
001C23 |
Yannick Chevalier [France] ; Mounira Kourjieh [France] | Automated Synthesis of a Finite Complexity Ordering for Saturation |
001C43 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | A General Approach for Securely Querying and Updating XML Data |
001C49 |
Elizabeta Fourneret [France] ; Fabrice Bouquet [France] ; Martin Ochoa [Allemagne] ; Jan Jürjens [Allemagne] ; Sven Wenzel [Allemagne] | Vérification et Test pour des systèmes évolutifs |
001C55 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Apprentissage off-policy appliqué à un système de dialogue basé sur les PDMPO |
001C64 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | String rewriting and security analysis: an extension of a result of Book and Otto |
001C66 |
Steve Kremer [France] ; Antoine Mercier [France] ; Ralf Treinen [France] | Reducing Equational Theories for the Decision of Static Equivalence |
001C68 |
Lionel Droz-Bartholet [France] ; Jean-Christophe Lapayre [France] ; Fabrice Bouquet [France] ; Eric Garcia [France] ; Alexander Heinisch [France] | Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems |
001C97 |
Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France] | Automated Verification of Equivalence Properties of Cryptographic Protocols |
001D39 |
T. Desmettre [France] ; J. Jenvrin [France] ; M. Freysz [France] ; L. Nace [France] ; M. Puyraveau [France] ; F. Berthier [France] ; P. Dreyfus [France] ; M. H. Philippe [France] ; J. M. Labourey [France] ; G. Capellier [France] | Prescription médicamenteuse téléphonique effectuée par les médecins régulateurs généralistes au centre 15 (étude PMT3) |
001D64 |
Fabienne Picard [France] ; Nathalie Rodet-Kroichvili [France] | Entreprises industrielles et sociétés de services aux entreprises : une proximité physique est-elle nécessaire ? |
001E37 |
Juliette Piard [France] ; Alain Verloes [France] ; Hélène Cavé [France] ; Michel Peuchmaur [France] ; Selim Bennaceur [France] ; Bruno Leheup [France] | Extensive abdominal lipomatosis in a patient with Noonan/LEOPARD syndrome (Noonan syndrome–Multiple Lentigines) |
001F23 |
Marc Sauget [France] ; Sylvain Contassot-Vivier [France] ; Michel Salomon [France] | Parallelization of neural network building and training: an original decomposition method |
001F53 |
Mohammed Anis Mekki [France] | Automatic synthesis of secured web services |
001F54 |
Edouard Klein [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Reducing the dimentionality of the reward space in the Inverse Reinforcement Learning problem |
001F58 |
Mohamed Embarki [France] ; Slim Ouni [France] ; Christian Guilleminot ; Mohamed Yeou ; Sallal Al Maqtari | Acoustic and electromagnetic articulographic study of pharyngealisation |
001F63 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | Secure Querying of Recursive XML Views: A Standard XPath-based Technique |
001F83 |
Asma Cherif [France] ; Abdessamad Imine [France] | On the Undoability Problem in Distributed Collaborative Applications |
001F99 |
Fabrice Bouquet [France] ; Bruno Legeard [France] ; Natacha Pickaert | Industrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test |
002002 |
Mumtaz Ahmad [France] | Memory optimization strategies for linear mappings and indexation-based shared documents |
002003 |
Laurent Vigneron [France] | Automated Deduction applied to the Analysis and Verification of Infinite State Systems |
002014 |
Ivan Enderlin [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] ; Abdallah Ben Othman [France] | Praspel: A Specification Language for Contract-Based Testing in PHP |
002015 |
Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] ; Safouan Taha [France] | Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests |
002026 |
Véronique Cortier [France] ; Cyrille Wiedling [France] | A formal analysis of the Norwegian e-voting protocol |
002032 |
Fabio Massacci [Italie] ; Fabrice Bouquet [France] ; Elizabeta Fourneret [France] ; Jan Jurjens [Allemagne] ; Mass Lund [Norvège] ; Sébastien Madelénat [France] ; Jantobias Muehlberg [Belgique] ; Federica Paci [Italie] ; Stéphane Paul [France] ; Frank Piessens [Belgique] ; Bjornar Solhaug [Norvège] ; Sven Wenzel [Allemagne] | Orchestrating Security and System Engineering for Evolving Systems |
002046 |
Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | A Composable Computational Soundness Notion |
002057 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | From Linear Temporal Logic Properties to Rewrite Propositions |
002111 |
Tigran Avanesov [France] | Resolution of constraint systems for automatic composition of security-aware Web Services |
002119 |
Elizabeta Fourneret [France] ; Fabrice Bouquet [France] | UML/OCL based impact analysis to test evolving critical software |
002120 |
Marc Sauget [France] ; Julien Henriet [France] ; Michel Salomon [France] ; Sylvain Contassot-Vivier [France] | Large datasets: a mixed method to adapt and improve their learning by neural networks used in regression contexts |
002122 |
Roméo Courbis [France] | Contributions à l'analyse de systèmes par approximation d'ensembles réguliers |
002123 |
Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] | Web Services Verification and Prudent Implementation |
002127 |
Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Distributed Orchestration of Web Services under Security Constraints |
002128 |
Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components |
002132 |
David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Ben Smyth [France] ; Bogdan Warinschi [Royaume-Uni] | Adapting Helios for provable ballot secrecy |
002141 |
Edouard Klein [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Batch, Off-policy and Model-free Apprenticeship Learning |
002153 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo Block Chaining |
002157 |
Frédéric Dadeau [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; Régis Tissot [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] ; Fabrice Bouquet [France] | Test Generation using Symbolic Animation of Models |
002188 |
Mohamed Embarki [France] ; Slim Ouni [France] ; Fathi Salam | Speech clarity and coarticulation in Modern standard Arabic and Dialectal Arabic |
002192 |
Mathilde Arnaud ; Véronique Cortier [France] ; Stéphanie Delaune | Deciding security for protocols with recursive tests |
002219 |
Gérard Cécé [France] ; Alain Giorgetti [France] | Simulations over Two-Dimensional On-Line Tessellation Automata |
002223 |
Jonathan Lasalle [France] ; Fabien Peureux [France] ; Jérôme Guillet [France] | Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems |
002230 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Loops and Overloops for Tree Walking Automata |
002240 |
Jagdish Prasad Achara [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | DeSCal --- Decentralized Shared Calendar for P2P and Ad-Hoc Networks |
002256 |
Omar Chebaro [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging |
002257 |
Pierre-Cyrille Heam [France] ; Catherine Masson [France] | A Random Testing Approach Using Pushdown Automata |
002259 |
Véronique Cortier [France] ; Bogdan Warinschi | A composable computational soundness notion (Abstract) |
002266 |
Jean-Charles Lamirel [France] ; Raghvendra Mall [Inde] ; M. Ahmad [France] | Comparative behaviour of recent incremental and non-incremental clustering methods on text: an extended study |
002269 |
Véronique Cortier [France] ; Ben Smyth | Attacking and fixing Helios: An analysis of ballot secrecy |
002281 |
Edouard Klein [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Apprentissage par imitation dans un cadre batch, off-policy et sans modèle |
002288 |
Jonathan Lasalle [France] ; Fabien Peureux [France] ; Frédéric Fondement [France] | Development of an automated MBT toolchain from UML/SysML models |
002316 |
Ben Smyth [France] ; Véronique Cortier [France] | A note on replay attacks that violate privacy in electronic voting schemes |
002333 |
Walid Belkhir [France] ; Alain Giorgetti [France] | Lazy AC-Pattern Matching for Rewriting |
002335 |
Walid Belkhir [France] ; Alain Giorgetti [France] | Lazy Rewriting Modulo Associativity and Commutativity |
002397 |
Arnaud Lanoix [France] ; Julien Dormoy [France] ; Olga Kouchnarenko [France] | Combining Proof and Model-checking to Validate Reconfigurable Architectures |
002411 |
Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France] | Mutation-Based Test Generation from Security Protocols in HLPSL |
002412 |
Elizabeta Fourneret [France] ; Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Stéphane Debricon [France] | Selective Test Generation Method for Evolving Critical Systems |
002413 |
Pierre-Cyrille Héam [France] ; Cyril Nicaud [France] | Seed, an Easy-to-Use Random Generator of Recursive Data Structures for Testing |
002415 |
Asma Cherif [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Optimistic access control for distributed collaborative editors |
002416 |
Frédéric Dadeau [France] ; Fabien Peureux [France] | Grey-Box Testing and Verification of Java/JML |
002426 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones. |
002445 |
Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] | Scenario-based testing from UML/OCL behavioral models Application to POSIX compliance |
002456 |
Sahbi Sidhom [France] ; Philippe Lambert [France] | "Information Design" for "Weak Signal" detection and processing in Economic Intelligence: case study on Health resources |
002473 |
Jean-Charles Lamirel [France] ; Raghvendra Mall [Inde] ; M. Ahmad [France] | Comportement comparatif des méthodes de clustering incrémentales et non incrémentales sur les données textuelles hétérogènes |
002477 |
Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France] | Rewriting and Symbolic Transformations for Multiscale Methods |
002496 |
Jonathan Lasalle [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Fabien Peureux [France] | SysML to UML model transformation for test generation purpose |
002505 |
Konstantinos Chatzikokolakis [France] ; Véronique Cortier [France] | Proceedings of the 8th International Workshop on Security Issues in Concurrency |
002507 |
Pascal Cuxac [France] ; Alain Lelu [France] ; Martine Cadot [France] | Paving the way for next generation data-stream clustering: towards a unique and statistically valid cluster structure at any time step |
002508 |
Pierre-Cyrille Heam [France] | On the Complexity of Computing the Profinite Closure of a Rational Language |
002530 |
Véronique Cortier [France] ; Jérémie Detrey [France] ; Pierrick Gaudry [France] ; Frédéric Sur [France] ; Emmanuel Thomé [France] ; Mathieu Turuani [France] ; Paul Zimmermann [France] | Ballot stuffing in a postal voting system |
002606 |
Cindy Cappelle [France] ; Maan E. El Najjar [France] ; François Charpillet [France] ; Denis Pomorski [France] | Virtual 3D City Model for Navigation in Urban Areas |
002627 |
P. Agarwal [France] ; M. Kaytoue [France] ; S. O. Kuznetsov [Russie] ; A. Napoli [France] ; G. Polaillon [France] | Symbolic Galois Lattices with Pattern Structures |
002672 |
Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Arnaud Giersch [France] | Load Balancing in Dynamic Networks by Bounded Delays Asynchronous Diffusion |
002688 |
Michel Zitt [France] ; Alain Lelu [France] ; Elise Bassecoulard [France] | Hybrid citation‐word representations in science mapping: Portolan charts of research fields? |
002748 |
Mehdi Kaytoue [France] ; Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] | Biclustering Numerical Data in Formal Concept Analysis |
002797 |
Alain Lelu [France] ; Martine Cadot [France] | Espace intrinsèque d'un graphe et recherche de communautés |
002848 |
Véronique Cortier [France] ; Steve Kremer [France] | Formal Models and Techniques for Analyzing Security Protocols |
002943 |
Jean-Pierre Jacquot [France] ; Régine Laleau [France] ; Hassan Mountassir [France] ; Vincent Poirriez [France] | Assemblage de composants digne de confiance : de l'expression des besoins aux spécifications formelles |
002947 |
Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] | Orchestration under Security Constraints |
002970 |
Philippe Lambert [France] ; Sahbi Sidhom [France] | Vers le "Design d'information" pour valoriser les résultats d'une veille sur les maladies chroniques |
002972 |
Ryma Abassi [Tunisie] ; Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Sihem Guemara El Fatmi [Tunisie] | XML Access Control: from XACML to Annotated Schemas |
002977 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Random Generation of Positive TAGEDs wrt. the Emptiness Problem |
002A20 |
Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | Using Temporal Logic for Dynamic Reconfigurations of Components |
002A25 |
Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada] | Symbolic Model-Checking of Optimistic Replication Algorithms |
002A26 |
Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Satisfiability of General Intruder Constraints with a Set Constructor |
002A30 |
Moulay Driss Mechaoui ; Asma Cherif [France] ; Abdessamad Imine [France] ; Fatima Bendella | Log Garbage Collector-based Real Time Collaborative Editor for Mobile Devices |
002A32 |
Eric Monfroy [Chili] ; Olivier Perrin [France] ; Christophe Ringeissen [France] ; Laurent Vigneron [France] | A Constraint-based Approach to Web Services Provisioning |
002A48 |
Gérard Cécé [France] ; Alain Giorgetti [France] | Simulations for a Class of Two-Dimensional Automata |
002A82 |
Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Pascal Chatonnay [France] ; Christelle Bloch [France] | Comparing the performance of genetic operators for the vehicle routing problem |
002A85 |
Abdessamad Imine [France] | On Coordinating Collaborative Objects |
002A94 |
Adrien De Kermadec [France] ; Frédéric Dadeau [France] ; Fabrice Bouquet [France] | Assessing the Quality of B Models |
002B06 |
Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Safe and Efficient Strategies for Updating Firewall Policies |
002B57 |
Alain Giorgetti [France] | Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System |
002B58 |
Florent Jacquemard [France] ; Michael Rusinowitch [France] | Rewrite-Based Verification of XML Updates |
002C02 |
Pierre-Christophe Bué [France] ; Frédéric Dadeau [France] ; Adrien De Kermadec [France] ; Fabrice Bouquet [France] | Building a Test-ready Abstraction of a Behavioral Model using CLP |
002C20 |
Alain Giorgetti [France] ; Ahmed Hammad [France] ; Bruno Tatibouët [France] | Using SysML for Smart Surface Modeling |
002C25 |
Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Arnaud Giersch [France] | Load balancing in dynamic networks by bounded delays asynchronous diffusion |
002C44 |
Roméo Courbis [France] | Rewriting Approximations For Properties Verification Over CCS Specifications |
002C48 |
Adrian Caciula [France] ; Roméo Courbis [France] ; Violeta Felea [France] ; Pierre-Cyrille Heam [France] ; Rasvan Ionescu [France] | Une approche parallèle et distribuée pour la complétion d'automates d'arbre |
002C52 |
Pierre-Christophe Bué [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] ; Fabrice Bouquet [France] | Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions |
002C53 |
Roméo Courbis [France] ; Pierre-Cyrille Heam [France] ; Pierre Jourdan [France] ; Olga Kouchnarenko [France] | Approximations par réécriture pour deux problèmes indécidables |
002D08 |
Sahbi Sidhom [France] ; Malek Ghenima [Tunisie] ; Philippe Lambert [France] | Systèmes d'information et Intelligence économique : enjeux et perspectives |
002D34 |
Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Satisfiability of General Intruder Constraints with and without a Set Constructor |
002D54 |
Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Pascal Chatonnay [France] ; Christelle Bloch [France] | A study of performance on crossover and mutation operators for vehicle routing problem |
002D58 |
Fabrice Bouquet [France] ; Pierre-Christophe Bué [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] | Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests |
002D69 |
Pierre-Christophe Bué [France] ; Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] | Model-Based Testing using Symbolic Animation and Machine Learning |
002D71 |
Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France] | Cap Unification: Application to Protocol Security modulo Homomorphic Encryption |
002D75 |
Alain Giorgetti [France] ; Claude Marché [France] ; Elena Tushkanova [France] ; Olga Kouchnarenko [France] | Specifying Generic Java Programs: two case studies |
002E32 |
Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
002E78 |
Pierre-Cyrille Heam [France] ; Cyril Nicaud [France] ; Sylvain Schmitz [France] | Parametric Random Generation of Deterministic Tree Automata |
002E89 |
Cindy Cappelle [France] ; Maan El Badaoui El Najjar [France] ; Denis Pomorski [France] ; François Charpillet [France] | Intelligent Geolocalization in Urban Areas Using Global Positioning Systems, Three-Dimensional Geographic Information Systems, and Vision |
002E95 |
Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France] | Efficient Decision Tree for Protocol Analysis in Intrusion Detection |
002F01 |
Liu Jing ; Laurent Vigneron [France] | Design and Verification of a Non-repudiation Protocol Based on Receiver-Side Smart Card |
002F03 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Eugen Zalinescu [France] | Deciding security properties for cryptographic protocols. Application to key cycles. |
002F05 |
Fahima Cheikh [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Composition of Services with Constraints |
002F06 |
Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | Component Simulation-based Substitutivity Managing QoS and Composition Issues |
002F08 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator |
003021 |
Irawati Lemonnier [France] ; Cédric Baumann [France] ; Damien Jolly [France] ; Patrick Arveux [France] ; Marie-Christine Woronoff-Lemsi [France] ; Michel Velten [France] ; Francis Guillemin [France] | Solitary pulmonary nodules: consequences for patient quality of life |
003083 |
Marc Sauget [France] ; Rémy Laurent [France] ; Julien Henriet [France] ; Michel Salomon [France] ; Régine Gschwind [France] ; Sylvain Contassot-Vivier [France] ; Libor Makovicka [France] ; Charles Soussen [France] | Efficient Domain Decomposition for a Neural Network Learning Algorithm, Used for the Dose Evaluation in External Radiotherapy |
003190 |
Frédéric Fondement [France] ; P-A. Muller [France] ; Brice Wittmann [France] ; Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Emilie Oudot [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; M. Alter [France] ; C. Scherrer [France] | VETESS : IDM, Test et SysML |
003213 |
Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | {SAT} Solvers for Queries over Tree Automata with Constraints |
003226 |
Stefan Ciobaca [France] ; Véronique Cortier [France] | Protocol composition for arbitrary primitives. |
003240 |
Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Modeling and Verifying Ad Hoc Routing Protocols. |
003255 |
Omar Chebaro [France] ; Nikolaï Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | Combining Static Analysis and Test Generation for {C} Program Debugging |
003259 |
Pierre-Alain Masson [France] ; Marie-Laure Potet [France] ; Jacques Julliand [France] ; Régis Tissot [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Eddie Jaffuel ; Boutheina Chetali [France] ; June Andronick ; Amal Haddad [France] | An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project |
003317 |
Christophe Ringeissen [France] | Equational reasoning and combination methods: from programs to proofs |
003325 |
Véronique Cortier [France] | Analysis of cryptographic protocols: from symbolic to computational models |
003327 |
Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Hassan Mountassir [France] | Politiques d'adaptation pour la reconfiguration du composant de localisation |
003329 |
Pierre-Cyrille Heam [France] | Finite Automata for Software Realiability and Reachability Analyses |
003369 |
Frédéric Dadeau [France] ; Régis Tissot [France] | jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines |
003371 |
Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Jocelyn Levrey [France] | On the Use of Uniform Random Generation of Automata for Testing |
003374 |
Elena Tushkanova [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Specifying and Proving a Sorting Algorithm |
003378 |
Olga Kouchnarenko [France] ; Natalia Sidorova ; Nikola Trcka | Petri Nets with May/Must Semantics |
003382 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | How to Tackle Integer Weighted Automata Positivity |
003387 |
Véronique Cortier [France] ; Graham Steel [France] | A Generic Security API for Symmetric Key Management on Cryptographic Devices |
003388 |
Asma Cherif [France] ; Abdessamad Imine [France] | Undo-Based Access Control for Distributed Collaborative Editors |
003404 |
Najah Chridi [France] | Contributions to the automatic verification of group protocols. |
003410 |
Serge Burckel [France] ; Emeric Gioan [France] ; Emmanuel Thomé [France] | Mapping Computation with No Memory |
003434 |
Abdessamad Imine [France] ; Asma Cherif [France] ; Michael Rusinowitch [France] | A Flexible Access Control Model for Distributed Collaborative Editors |
003486 |
Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Modeling and Verifying Ad Hoc Routing Protocol |
003487 |
Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France] | Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists |
003488 |
Véronique Cortier [France] ; Stéphanie Delaune [France] | A method for proving observational equivalence |
003506 |
Roméo Courbis [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | TAGED Approximations for Temporal Properties Model-Checking |
003513 |
Mathieu Baudet ; Véronique Cortier [France] ; Stéphanie Delaune [France] | YAPA: A generic tool for computing intruder knowledge |
003522 |
Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France] | Graph Based Reduction of Program Verification Conditions |
003555 |
Abdessamad Imine [France] | Coordination Model for Real-Time Collaborative Editors |
003556 |
Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] | On Model-Checking Optimistic Replication Algorithms |
003643 |
Bruno Legeard [France] ; Fabrice Bouquet [France] ; Pickaert Natacha [France] | Industrialiser le test fonctionnel |
003644 |
Frédéric Dadeau [France] ; Amal Haddad [France] ; Thierry Moutet [France] | Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès |
003666 |
Stéphane Debricon [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] | From Business Processes to Integration Testing |
003684 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
003687 |
Véronique Cortier [France] ; Claude Kirchner [France] ; Mitsuhiro Okada [Japon] ; Hideki Sakurada [Japon] | Formal to practical Security |
003692 |
Pascal Cuxac [France] ; Alain Lelu [France] ; Martine Cadot [France] | Suivi incrémental des évolutions dans une base d'information indexée : une boucle évaluation / correction pour le choix des algorithmes et des paramètres. |
003705 |
Martine Cadot [France] ; Alain Lelu [France] | Massive Pruning for Building an Operational Set of Association Rules: Metarules for Eliminating Conflicting and Redundant Rules. |
003713 |
Alain Lelu [France] ; Martine Cadot [France] | Graphes des liens et anti-liens statistiquement valides entre les mots d'un corpus textuel |
003714 |
Frédéric Dadeau [France] | Génération automatique de tests à partir de patrons de propriétés |
003741 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
003759 |
Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie] | New results on rewrite-based satisfiability procedures |
003768 |
Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Non Left-Linear Rules When Completing Tree Automata |
003779 |
Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] | Corrections to "basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks" |
003783 |
Vincent Pretre [France] ; Adrien De Kermadec [France] ; Fabrice Bouquet [France] ; Christophe Lang [France] ; Frédéric Dadeau [France] | Automated UML models merging for web services testing |
003784 |
Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] ; Marc Sauget [France] | An incremental learning algorithm for functional approximation |
003873 |
Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
003960 |
Jérôme Simonin [France] ; Noëlle Carbonell [France] | Enhancements to Online Help: Adaptivity and Embodied Conversational Agents |
003A24 |
Christophe Denis [Royaume-Uni] ; Raphael Couturier [France] ; Fabienne Jézéquel [France] | A Sparse Linear System Solver Used in a Distributed and Heterogenous Grid Computing Environment |
003B91 |
Olivier Simonin [France] ; Olivier Grunder [France] | A cooperative multi-robot architecture for moving a paralyzed robot |
003C22 |
Pierre De Saqui-Sannes [France] ; Thierry Villemur [France] ; Benjamin Fontan [France] ; Sara Del Socorro Mota Gonzalez [France] ; Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Laurent Vigneron [France] | UML Modeling and Formal Verification of Secure Group Communication Protocols |
003C32 |
Véronique Cortier [France] ; Graham Steel [France] | Synthesising Secure APIs |
003C40 |
Mumtaz Ahmad [France] ; Serge Burckel [France] ; Adam Cichon [France] | Sequential decomposition of operations and compilers optimization |
003C42 |
Pierre-Cyrille Heam [France] ; Cyril Nicaud [France] | Seed: an easy to use random generator of recursive data structures for testing |
003C44 |
Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Safe and Efficient Strategies for Updating Firewall Policies |
003C46 |
Florent Jacquemard [France] ; Michael Rusinowitch [France] | Rewrite based Verification of XML Updates |
003C81 |
Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France] | Deciding knowledge in security protocols under some e-voting theories |
003C83 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Data Structures with Arithmetic Constraints: a Non-Disjoint Combination |
003C86 |
Yannick Chevalier [France] ; Michael Rusinowitch [France] | Compiling and securing cryptographic protocols |
003C88 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combinable Extensions of Abelian Groups |
003D03 |
Abdessamad Imine [France] ; Asma Cherif [France] ; Michaël Rusinowitch [France] | An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors |
003D08 |
Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michael Rusinowitch [France] ; Radu State [France] | Abusing SIP authentication |
003D12 |
Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni] | A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems |
003D38 |
Walid Belkhir [France] | Algebra and Combinatorics of Parity Games |
003D47 |
Alain Lelu [France] | Visualiser les textes et les mots : approches numériques, approches par les graphes |
003D74 |
Eric Monfroy ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Dynamic Web Services Provisioning with Constraints |
003D83 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | Computational soundness of observational equivalence |
003E44 |
Michel Zitt [France] ; Elise Bassecoulard [France] ; Alain Lelu [France] | Hybrid maps of scientific fields: an application to nanosciences |
003E65 |
Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Left-Quadratic Rules When Completing Tree Automata |
003E66 |
Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | Component Simulation-based Substitutivity Managing QoS Aspects |
003E68 |
Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michaël Rusinowitch [France] ; Radu State [France] | Abusing SIP Authentication |
003E69 |
Frédéric Dadeau [France] ; Julien Lamboley [France] ; Thierry Moutet [France] ; Marie-Laure Potet [France] | A Verifiable Conformance Relationship between Smart Card Applets and B security Models |
003E71 |
Frédéric Dadeau [France] ; Régis Tissot [France] ; Marie-Laure Potet [France] | A B Formal Framework for Security Developments in the Domain of Smart Card Applications |
003E72 |
Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
003E88 |
Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | A Mediator Based Approach For Services Composition |
003F06 |
Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France] | Towards a Constrained-based Verification of Parameterized Cryptographic Protocols |
003F07 |
Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Finer is better: Abstraction Refinement for Rewriting Approximations |
003F13 |
Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] | Automatic Composition of Services with Security Policies |
003F31 |
Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Towards Validating a Platoon of Cristal Vehicles using CSP||B |
003F40 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | Computational soundness of observational equivalence |
003F43 |
Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] ; Marc Sauget [France] ; Aurélien Vasseur [France] | A Parallel Incremental Learning Algorithm for Neural Networks with Fault Tolerance |
003F73 |
Abdessamad Imine [France] | Flexible Concurrency Control for Real-Time Collaborative Editors |
003F77 |
Abdessamad Imine [France] | Decentralized concurrency control for real-time collaborative editors |
003F93 |
Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] ; Raphaël Couturier [France] | An efficient and robust decentralized algorithm for detecting the global convergence in asynchronous iterative algorithms |
003F94 |
Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Active Intruders with Caps |
004013 |
Drago Matko ; Gregor Klancar ; Saso Blazic ; Olivier Simonin [France] ; Franck Gechter ; Jean-Michel Contet [France] ; Pablo Gruer | The Application of Reference-path Control to Vehicle Platoons |
004020 |
Mathieu Loiseau [France] ; Myriam Abouzaïd [France] ; Laurence Buson [France] ; Bannour Rachid [France] ; Florinela Comanescu [France] ; Darline Cothière-Robert [France] ; Tatiana El-Khoury [France] ; Antoine Gautier [France] ; Rose-Marie Gerbe [France] ; Mathilde Gonçalves [Portugal] ; Florencia Miranda [Portugal] ; Vannina Goossens [France] ; Cécile Lux [France] ; Iuliana-Anca Mateiu [Roumanie] ; Séverine Morange [France] ; Stéphane Mortreux [France] ; Hiroko Noda [France] ; Sabrina Rasom [Italie] ; Aude Rebotier [France] ; Darine Saïdi [France] ; Carmen Scarlat [France] ; Jennifer Sullivan [Irlande (pays)] ; Christian Surcouf [Suisse] ; Inka Wissner [Allemagne] ; Caroline Cance [France] ; Émilie Cousin [France] ; Hélène Delage [France] ; Anaïg Delanoë [France] ; Gaëlle Delepaut [France] ; Céline Dugua [France] ; Juliette Elie-Deschamps [France] ; Angélique Laurent [France] ; Pascale Leclercq [France] ; Silvia Nieva [Espagne] ; Katérina Palasis-Jourdan [France] ; Anita Thomas [Suède] ; Luc Biichlé [France] ; Anna Ghimenton [France] ; Jeanne Gonac'H [France] ; Aurélie Nardy [France] ; Nathaël Martin [France] ; Pascale Paulin [France] ; Lerato Caroline Pooe [France] ; Séverine Rapanoël [France] ; Sofia Stratilaki [France] ; Maria Zerva [France] ; Dominique Anctil [Canada] ; Évelyne Berger [Suisse] ; Jocelyne Cussac Pomel [France] ; Geneviève Garcia Bourgade [France] ; Juliette Delahaie [France] ; Ali Djaroun [France] ; Bernadette Kervyn [Belgique] ; Sophie Anquetil [France] ; Magdalena Augustyn [France] ; Sabrina Ben Hamou [France] ; Gwendoline Bloquet [France] ; Fanny Rinck [France] ; Cécile Frérot [France] ; Amélie Josselin-Leray [France] ; Anne-Laure Jousse [Canada] ; Bárbara Razola Mayor [France] ; Fabienne Venant [France] ; Antoine Widlöcher [France] ; Frédérik Bilhaut [France] | Autour des langues et du langage |
004032 |
Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Christelle Bloch [France] ; Pascal Chatonnay [France] | Nouvelle approche pour classifier les problèmes de tournées de véhicules |
004043 |
Emeric Gioan [France] ; Serge Burckel [France] | In Situ Design of Register Operations |
004062 |
Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Christelle Bloch [France] ; Pascal Chatonnay [France] | Classification de problèmes de tournées de véhicules |
004083 |
Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Christelle Bloch [France] ; Pascal Chatonnay [France] | Proposition de notation pour les problèmes de tournées |
004119 |
Daniele Zucchelli [France] | Combination Methods for Verification Problems |
004140 |
Gérard Cécé [France] ; Pierre-Cyrille Héam [France] ; Yann Mainier [France] | Efficiency of Automata in Semi-Commutation Verification Techniques |
004143 |
Alain Giorgetti [France] ; Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | Verification of class liveness properties with Java modeling language |
004144 |
Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France] | Tree automata with equality constraints modulo equational theories |
004145 |
Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Timed Specification For Web Services Compatibility Analysis |
004179 |
Vincent Hilaire [France] ; Pablo Gruer [France] ; Abder Koukam [France] ; Olivier Simonin [France] | Formal driven prototyping approach for multiagent systems |
004188 |
Yannick Chevalier [France] ; Ralf Kuesters ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption |
004200 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] | A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations |
004201 |
Pierre-Cyrille Héam [France] | A Note on Partially Ordered Tree Automata |
004425 |
Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Raphaël Couturier [France] | An Efficient and Robust Decentralized Algorithm for Detecting the Global Convergence in Asynchronous Iterative Algorithms |
004432 |
Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Marc Sauget [France] ; Aurélien Vasseur [France] | A Parallel Incremental Learning Algorithm for Neural Networks with Fault Tolerance |
004484 |
Alain Lelu [France] | La méthode de classification non-supervisée K-means axiales |
004520 |
Frédéric Dadeau [France] ; Régis Tissot [France] | Teaching Model-Based Testing with {L}eirios {T}est {G}enerator |
004526 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
004542 |
Yannick Chevalier [France] ; Mounira Kourjieh [France] | On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version) |
004563 |
Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France] | Graph-based Reduction of Program Verification Conditions |
004572 |
Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] | Experiments in Model-Checking Optimistic Replication Algorithms |
004590 |
Najah Chridi [France] ; Mathieu Turuani [France] ; Michaël Rusinowitch [France] | Constraints-based Verification of Parameterized Cryptographic Protocols. |
004597 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | Computational soundness of observational equivalence |
004598 |
Duc-Khanh Tran [France] ; Christophe Ringeissen [France] ; Silvio Ranise [France] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
004601 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Approximation based tree regular model checking |
004603 |
Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France] | An inference system for detecting firewall filtering rules anomalies |
004614 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] | A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations |
004621 |
Eugen Zalinescu [France] | Security of cryptographic protocols: decidability and transfer resultats |
004622 |
Constantinos Makassikis [France] ; Stéphane Vialle [France] ; Xavier Warin [France] | Distribution of a Stochastic Control Algorithm Applied to Gas Storage Valuation |
004624 |
Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Timed Specification For Web Services Compatibility Analysis |
004632 |
Véronique Cortier [France] ; Jérémie Delaitre [France] ; Stéphanie Delaune [France] | Safely Composing Security Protocols |
004636 |
Heinrich Hördegen [France] | Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats --- Etude des protocoles récursifs |
004717 |
Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding knowledge in security protocols for monoidal equational theories. |
004753 |
Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France] | Synthetizing secure protocols |
004761 |
Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Combining algorithms for deciding knowledge in security protocols |
004764 |
Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni] | A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. |
004838 |
Samir Chouali [France] ; Samuel Colin [France] ; Ahmed Hammad [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] ; Hassan Mountassir [France] ; Jeanine Souquières [France] | Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.0 |
004842 |
Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding knowledge in security protocols for monoidal equational theories. |
004843 |
Véronique Cortier [France] ; Eugen Zalinescu [France] | Deciding key cycles for security protocols. |
004847 |
Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring. |
004848 |
Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni] | A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. |
004860 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Intruders with Caps |
004869 |
Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | How to Handle QoS Aspects in Web Services Substitutivity Verification |
004870 |
Sergio Nogueira [France] ; Jean-Michel Contet [France] ; Yassine Ruichek [France] ; Franck Gechter [France] | Wifi based remote control system with video feedback for intelligent vehicles |
004874 |
Sergio Nogueira [France] ; Yassine Ruichek [France] ; François Charpillet [France] | Fuzzy reasoning based vehicle road line following |
004880 |
Eric Descourvières [France] ; Stéphane Debricon [France] ; Dominique Gendreau [France] ; Philippe Lutz [France] ; Laurent Philippe [France] ; Fabrice Bouquet [France] | Towards automatic control for microfactories. |
004907 |
Christophe Reffay [France] ; Thierry Chanier [France] ; Nikolaos Avouris [Grèce] ; Laurent Romary [France] | Symposium Corpus d'apprentissage en ligne : Conception, réutilisation, échange |
004917 |
Martine Cadot [France] ; Pascal Cuxac [France] ; Alain Lelu [France] | Random simulations of a datatable for efficiently mining reliable and non-redundant itemsets |
004934 |
Sergio Nogueira [France] ; Yassine Ruichek [France] | A new B-Spline based active contour approach |
004935 |
Stefano Rosso ; Roberto Zanetti ; Maria José Sánchez ; Adoraci N Nieto ; Ana Miranda [Portugal] ; Mariette Mercier [France] ; Dora Loria ; Anne Sterlind ; Rüdiger Greinert ; Maria-Dolores Chirlaque ; Gabriella Fabbrocini ; Cesare Barbera ; Hélène Sancho-Garnier ; Carmela Lauria ; Daniela Balzi ; Marina Zoccola ; Non Renseigné | Is 2,3,5-pyrroletricarboxylic acid in hair a better risk indicator for melanoma than traditional epidemiologic measures for skin phenotype? |
004945 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Intruders with Caps |
004992 |
Véronique Cortier [France] ; Keighren Gavin [Royaume-Uni] ; Graham Steel [Royaume-Uni] | Automatic Analysis of the Security of XOR-based Key Management Schemes. |
004994 |
Duc-Khanh Tran [France] | Conception de Procédures de Décision par Combinaison et Saturation |
004A06 |
Alain Giorgetti [France] ; Julien Groslambert [France] | Un programme annoté en vaut deux |
004A10 |
Martine Cadot [France] ; Alain Lelu [France] | Simuler et épurer pour extraire les motifs sûrs et non redondants |
004A13 |
Fabrice Bouquet [France] ; Jean-François Couchot [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] | Instantiation of Parameterized Data Structures for Model-Based Testing |
004A28 |
François Charpillet [France] ; Fabrice Lauri [France] | Optimation par colonies de fournis d'un essaim de patrouilleurs pour la surveillance de zone |
004A41 |
Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | Relating two standard notions of secrecy |
004C07 |
J. Fénix [Suisse] ; J. C. Sagot [France] ; C. Valot [France] ; S. Gomes [France] | Operator centred design: example of a new driver aid system in the field of rail transport |
004C51 |
Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-Based Systems |
004D59 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Vérifier automatiquement les protocoles de sécurité |
004D70 |
Jean Renaud [France] ; Brigitte Chebel-Morello [France] ; Béatrice Fuchs [France] ; Jean Lieber [France] | Raisonnement à partir de cas 2. Surveillance, diagnostic et maintenance. |
004D71 |
Jean Renaud [France] ; Brigitte Chebel-Morello [France] ; Béatrice Fuchs [France] ; Jean Lieber [France] | Raisonnement à partir de cas 1. Conception et Configuration de produits. |
004E14 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
004E15 |
Pierre-Cyrille Héam [France] | Transitive Closures of Semi-commutation Relations on Regular omega-Languages |
004E19 |
Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | Towards Formalizing QoS of Web Services with Weighted Automata |
004E20 |
Yannick Chevalier [France] ; Denis Lugiez [France] ; Michael Rusinowitch [France] | Toward an Automatic Analysis of Web Service Security |
004E26 |
Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France] | Synthesizing secure protocols |
004E28 |
Laurent Vigneron [France] ; Najah Chridi [France] | Strategy for Flaws Detection based on a Services-driven Model for Group Protocols |
004E39 |
Véronique Cortier [France] ; Jérémie Delaitre [France] ; Stéphanie Delaune [France] | Safely composing security protocols |
004E49 |
Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] ; Raphaël Couturier [France] | Parallel Iterative Algorithms: from sequential to grid computing |
004E76 |
Zalinescu Eugen [France] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | From passive to active security via a simple transformation |
004E87 |
Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Combining algorithms for deciding knowledge in security protocols |
004E89 |
Francis Klay [France] ; Judson Santiago [Brésil] ; Laurent Vigneron [France] | Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder |
004E92 |
Sergio Nogueira [France] ; Yassine Ruichek [France] ; Franck Gechter [France] ; Abderrafiaa Koukam [France] ; François Charpillet [France] | An artificial vision based environment perception system |
004F01 |
Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | A Methodology For Web Services Composition |
004F03 |
Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring |
004F12 |
Martine Cadot [France] | Extraction of Complex Relations in Humanistic : Statistics, Itemsets and Association Rules |
004F30 |
Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [France] | Computationally Sound Symbolic Secrecy in the Presence of Hash Functions |
004F38 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Algebraic Properties in Automatic Analysis of Security Protocols |
004F39 |
Gérald Oster [Suisse] ; Pascal Molli [France] ; Pascal Urso [France] ; Abdessamad Imine [France] | Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems |
004F50 |
Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Data Consistency for P2P Collaborative Editing |
004F53 |
Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Automatic Combinability of Rewriting-Based Satisfiability Procedures |
004F55 |
Véronique Cortier [France] ; Eugen Zalinescu [France] | Deciding key cycles for security protocols |
004F93 |
Najah Chridi [France] ; Laurent Vigneron [France] | Strategy for Flaws Detection based on a Services-driven Model for Group Protocols |
005019 |
Véronique Cortier [France] | Verification of cryptographic protocols: techniques and link to cryptanalysis |
005021 |
Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | Relating two standard notions of secrecy |
005023 |
Véronique Cortier [France] ; Heinrich Hoerdegen [France] ; Bogdan Warinschi [France] | Explicit Randomness is not Necessary when Modeling Probabilistic Encryption |
005025 |
Charu Arora [France] ; Mathieu Turuani [France] | Adding Integrity to the Ephemerizer's Protocol |
005034 |
Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Producing Conflict Sets for Combination of Theories |
005042 |
Mathieu Turuani [France] | The CL-Atse Protocol Analyser |
005043 |
Yohan Boichut [France] ; Thomas Genet [France] | Feasible Trace Reconstruction for Rewriting Approximations |
005044 |
Max Tuengerthal [Allemagne] ; Ralf Küsters [Allemagne] ; Mathieu Turuani [France] | Implementing a Unification Algorithm for Protocol Analysis with XOR |
005049 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] | Automated Boundary Test Generation from JML Specifications |
005053 |
Véronique Cortier [France] ; Graham Steel [Royaume-Uni] | On the Decidability of a Class of XOR-based Key-management APIs |
005068 |
Yassine Lakhnech [France] ; Laurent Mazare [France] ; Bogdan Warinschi [France] | Soundness of Symbolic Equivalence for Modular Exponentiation |
005069 |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Arnab Roy [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] ; Bogdan Warinschi [France] | Computationally Sound Compositional Logic for Security Protocols |
005131 |
Alain Lelu [France] ; Martine Cadot [France] ; Pascal Cuxac [France] | Document stream clustering: experimenting an incremental algorithm and AR-based tools for highlighting dynamic trends. |
005133 |
Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France] | Automatic Verification of Key Management Architecture for Hierarchical Group Protocols |
005170 |
Alain Giorgetti [France] ; Julien Groslambert [France] | JAG : Génération d'annotations JML pour vérifier des propriétés temporelles |
005175 |
Alain Giorgetti [France] ; Julien Groslambert [France] | JAG: JML Annotation Generation for Verifying Temporal Properties |
005190 |
Yohan Boichut [France] ; Nikolai Kosmatov [France] ; Laurent Vigneron [France] | Validation of Prouve Protocols using the Automatic Tool TA4SP |
005194 |
Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Building and Combining Satisfiability Procedures for Software Verification |
005195 |
Judson Santos Santiago [France] ; Laurent Vigneron [France] | Automatically Analysing Non-repudiation with Authentication |
005223 |
Jacques Julliand [France] ; Jeanine Souquières [France] | Approches formelles pour le développement de logiciels |
005229 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Julien Groslambert [France] ; Jacques Julliand [France] | Safety Property Driven Test Generation from {JML} Specifications |
005261 |
Véronique Cortier [France] ; Martin Abadi [États-Unis] | Deciding knowledge in security protocols under equational theories. |
005265 |
Carole Bernon [France] ; Vincent Chevrier [France] ; Vincent Hilaire [France] ; Paul Marrow [Royaume-Uni] | Applications of Self-Organising Multi-Agent Systems: An Initial Framework for Comparison |
005268 |
Vincent Chevrier [France] ; Franck Gechter [France] ; François Charpillet [France] | A Reactive Agent-Based Solving Model : Application to Localization and Tracking |
005328 |
Jacques Julliand [France] ; Jeanine Souquières [France] | Editorial |
005581 |
Guillaume J. Laurent [France] ; Emmanuel Piat [France] | Apprentissage par renforcement dans le cadre des processus décisionnels de Markov factorisés observables dans le désordre : Étude expérimentale du Q-Learning parallèle appliqué aux problèmes du labyrinthe et du New York Driving |
005593 |
Thomas Bangemann [Allemagne] ; Xavier Rebeuf [France] ; Denis Reboul [France] ; Andreas Schulze [Allemagne] ; Jacek Szymanski [France] ; Jean-Pierre Thomesse [France] ; Mario Thron [Allemagne] ; Noureddine Zerhouni [France] | PROTEUS : Creating distributed maintenance systems through an integration platform |
005641 |
Najah Chridi [France] ; Laurent Vigneron [France] | Sécurité des communications de groupe |
005643 |
Véronique Cortier [France] | Sécuriser les réseaux, les protocoles cryptographiques |
005658 |
Véronique Cortier [France] | Protocoles cryptographiques : analyse par méthodes formelles |
005661 |
Olivier Servas [France] ; Nicole Dausque [France] ; Anne Facq [France] ; Françoise Gazelle [France] ; Gabrielle Feltin [France] | Pourquoi et Comment Adapter une Politique de Sécurité pour les Entités du CNRS. |
005674 |
Alain Giorgetti [France] ; Julien Groslambert [France] | JAG : Génération d'annotations JML pour vérifier des propriétés temporelles |
005691 |
Véronique Cortier [France] | Divers protocoles couramment utilisés en informatique |
005698 |
Véronique Cortier [France] | Ces protocoles qui nous protègent |
005707 |
Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | {JML}-based Verification of Liveness Properties on a Class in isolation |
005732 |
Eugen Zalinescu [France] ; Véronique Cortier [France] ; Michaël Rusinowitch [France] | Relating two Standard Notions of Secrecy |
005754 |
Siva Anantharaman [France] ; Gaétan Hains [France] ; Michael Rusinowitch [France] ; Paul Gastin [France] ; John Mullins [Canada] | Journal of Automata, Languages and Combinatorics, Vol. 11(1) |
005761 |
Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-based Systems |
005762 |
Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-based Systems |
005765 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Algebraic Properties in Automatic Analysis of Security Protocols |
005774 |
Véronique Cortier [France] ; Heinrich Hördegen [France] ; Bogdan Warinschi [France] | Explicit Randomness is not Necessary when Modeling Probabilistic Encryption |
005804 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users |
005821 |
Véronique Cortier [France] ; Stéphanie Delaune [France] ; Pascal Lafourcade [France] | A Survey of Algebraic Properties Used in Cryptographic Protocols |
005863 |
Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Edition collaborative sur réseau pair-à-pair à large échelle |
005866 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] | How Symbolic Animation can help designing an Efficient Formal Model |
005881 |
Mathieu Turuani [France] | Analysis of Contract Signing Protocols |
005887 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards Synchronizing Linear Collaborative Objects with Operation Transformation |
005888 |
Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | On Superposition-Based Satisfiability Procedures and their Combination |
005890 |
Najah Chridi [France] ; Laurent Vigneron [France] | Modélisation des propriétés de sécurité de protocoles de groupe |
005892 |
Judson Santos Santiago [France] ; Laurent Vigneron [France] | Study for Automatically Analysing Non-repudiation |
005914 |
Mathieu Turuani [France] ; Hoan Vu-Van [France] | Validation of the ASW Contract Signing Protocol |
005921 |
Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba [États-Unis] | Combining data structures with nonstably infinite theories using many-sorted logic |
005927 |
Najet Boughanmi [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] | On Structural Information and the Experimental Evaluation of SMT Tools |
005928 |
Sergio Nogueira [France] ; Franck Gechter [France] ; Yassin Ruichek [France] ; Abder Koukam [France] ; François Charpillet [France] | Environment perception for vehicle autonomous navigation in urban areas |
005967 |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] | Probabilistic Polynomial-time Semantics for a Protocol Security Logic |
005976 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] ; Marc Utting [France] | Symbolic Animation of JML Specifications |
005977 |
Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France] | Computationally Sound Implementations of Equational Theories against Passive Adversaries |
005978 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] | Using Constraint Logic Programming for the Symbolic Animation of Formal Models |
005979 |
Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | The AVISPA Tool for the automated validation of internet security protocols and applications |
005983 |
Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures |
005993 |
Michael Backes [Suisse] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France] | Compositional Analysis of Contract Signing Protocols |
005A16 |
Martin Abadi ; Véronique Cortier [France] | Deciding knowledge in security protocols under (many more) equational theories |
005A57 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] ; Marc Utting [France] | JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP |
005A58 |
Véronique Cortier [France] ; Bogdan Warinschi | Computationally Sound, Automated Proofs for Security Protocols |
005A59 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Julien Groslambert [France] | Checking JML Specifications with B Machines |
005A63 |
Laurent Vigneron [France] | Proceedings of the 19th International Workshop on Unification |
005A75 |
Pascal Fontaine [France] ; Silvio Ranise [France] ; Calogero Zarba [France] | Combining Lists with Non-Stably Infinite Theories |
005C23 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | Tree automata with one memory, set constraints and cryptographic protocols |
006182 |
A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France] | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications |
006389 |
Véronique Cortier [France] | Vérifier les protocoles cryptographiques |
006395 |
Laurent Vigneron [France] | Un outil d'aide à la conception de protocoles cryptographiques |
006456 |
Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France] | Tree Automata with Equality Constraints Modulo Equational Theories |
006476 |
Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Real time group editors without Operational transformation |
006480 |
Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Proving correctness of transformation functions in collaborative editing systems |
006489 |
Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Optimistic Replication for Massive Collaborative Editing |
006543 |
Yannick Chevalier ; Michaël Rusinowitch [France] | Combining Intruder Theories |
006544 |
Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba | Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic |
006550 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Verification of Security Protocols Using Approximations |
006557 |
Véronique Cortier [France] ; Xavier Goaoc [France] ; Mira Lee [Corée du Sud] ; Hyeon-Suk Na [Corée du Sud] | A note on maximally repeated sub-patterns of a point set |
006626 |
Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | Deciding the Security of Protocols with Commuting Public Key Encryption. |
006631 |
Laurent Vigneron [France] | Automatic Verification of Security Protocols |
006633 |
Yannick Chevalier [France] | A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or |
006641 |
Gérald Oster [France] ; Pascal Molli [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Un modèle sûr et générique pour la synchronisation de données divergentes |
006645 |
Yannick Chevalier [France] ; Laurent Vigneron [France] | Rule-based Programs describing Internet Security Protocols |
006650 |
Jean-François Couchot [France] ; Frédéric Dadeau [France] ; David Déharbe [France] ; Silvio Ranise [France] | Proving and Debugging Set-Based Specifications |
006653 |
Tarek Abbes [France] ; Michaël Rusinowitch [France] | Fast Multipattern Matching for Intrusion Detection |
006661 |
Tarek Abbes [France] ; Adel Bouhoula ; Michaël Rusinowitch [France] | Protocol Analysis in Intrusion Detection Using Decision Tree |
006749 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | Security properties: two agents are sufficient |
006D75 |
Xavier Rebeuf [France] ; Nicolas Blanc [France] ; François Charpillet [France] ; Denis Chevé [France] ; Alain Dutech [France] ; Christophe Lang [France] ; Loïc Pélissier [France] ; Jean-Pierre Thomesse [France] | Proteus, des web services pour les systèmes de maintenance |
006E32 |
Calogero G. Zarba [France] | C-tableaux |
006E48 |
Jacek Szymanski [France] ; Mario Thron [Allemagne] ; Jean-Pierre Thomesse [France] ; Xavier Rebeuf [France] ; Christophe Lang [France] | Web Service Driven Integration Platform for Industrial Maintenance Oriented Applications |
006E50 |
Françoise Bellegarde [France] ; Julien Groslambert [France] ; Marieke Huisman [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | Verification of Liveness Properties with JML |
006E80 |
Yannick Chevalier [France] ; Laurent Vigneron [France] | Strategy for Verifying Security Protocols with Unbounded Message Size |
006E87 |
Deepak Kapur ; Laurent Vigneron [France] | Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning |
006F46 |
Tarek Abbes [France] ; Michaël Rusinowitch [France] ; Alakesh Haloi | Network Traffic Classification for Intrusion Detection |
006F48 |
Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
006F55 |
Hervé Guyennet [France] ; Christophe Lang [France] ; Xavier Rebeuf [France] ; Mario Thron [Allemagne] | Middleware for Global e-Maintenance |
006F95 |
Tarek Abbes [France] ; Alakesh Haloi [France] ; Michaël Rusinowitch [France] | High Performance Intrusion Detection using Traffic Classification |
007037 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive Verification of Distributed Groupware Systems |
007039 |
Martin Abadi ; Véronique Cortier [France] | Deciding knowledge in security protocols under equational theories |
007040 |
Martin Abadi ; Véronique Cortier [France] | Deciding knowledge in security protocols under equational theories |
007044 |
Bernard Chabalier [France] ; Philippe Hubert [France] ; Christophe Lang [France] ; Xavier Rebeuf [France] ; Mario Thron [Allemagne] | D6.3 Definition/Specification of object for the e-maintenance platform |
007058 |
Véronique Cortier [France] ; Bogdan Warinschi | Computationally Sound, Automated Proofs for Security Protocols |
007074 |
David Basin [France, Suisse] ; Michaël Rusinowitch [France] | Automated Reasoning |
007091 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Achieving Convergence with Operational Transformation in Distributed Groupware Systems |
007109 |
Yannick Chevalier [France] | A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or |
007121 |
Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Jacopo Mantovani [Italie] ; Sebastian Moedersheim [Suisse] ; Laurent Vigneron [France] | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
007122 |
Yannick Chevalier [France] ; Luca Compagna ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [France, Suisse] ; Jacopo Mantovani ; Sebastian Moedersheim [France, Suisse] ; Laurent Vigneron [France] | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
007124 |
Calogero G. Zarba [France] ; Domenico Cantone ; Jacob T. Schwartz | A Decision Procedure for a Fragment of Set Theory Involving Monotone, Additive, and Multiplicative Functions |
007125 |
Michaël Rusinowitch [France] | A Decidable Analysis of Security Protocols |
007130 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis] | Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents |
007143 |
Pascal Molli [France] ; Gérald Oster [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Using the Transformational Approach to Build a Safe and Generic Data Synchronizer |
007190 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
007216 |
Tarek Abbes [France] ; Adel Bouhoula ; Michaël Rusinowitch [France] | Filtrage Efficace Pour la Détection d'Intrusions |
007232 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP Decision Procedure for Protocol Insecurity with XOR |
007237 |
Abdessamad Imine [France] ; Pascal Urso [France] | Automatic Detection of Copies Divergence in Collaborative Editing Systems |
007434 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Pascal Urso [France] | VOTE: Group Editors Analyzing Tool |
007947 |
Amr Helmy Ibrahim [France] | Distance sémantique et degrés d’analogie dans les matrices analytiques définitoires |
007B85 |
Pascal Molli [France] ; Gérald Oster [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Safe Generic Data Synchronizer |
007C27 |
Thomas Bangemann ; Eric Garcia [France] ; Christophe Lang [France] ; Xavier Rebeuf [France] ; Jacek Szimanski [France] ; Jean-Pierre Thomesse [France] ; Mario Thron | PROTEUS - A European Initiative for e-maintenance platform development |
007C81 |
Gérard Cécé [France] ; Pierre-Cyrille Héam [France] ; Yann Mainier [France] | Efficiency of Automata in Semi-Commutation Verification Techniques |
007D28 |
Françoise Bellegarde ; Célina Charlet [France] ; Olga Kouchnarenko [France] | Using Acceleration to Compute Parameterized System Refinement |
007D55 |
Nicolas Szafran [France] ; Stéphane Despréaux [France] ; Luc Biard [France] ; Frédéric Blaise [France] | Sawing of Logs in Virtual Trees Using 3D Intersection Algorithms |
007D58 |
Olga Kouchnarenko [France] ; Arnaud Lanoix | Refinement and Verification of Synchronized Component-based Systems |
007D68 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Proving Correctness of Transformation Functions in Real-Time Groupware |
007E25 |
Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
007E39 |
Christophe Lang [France] ; Xavier Rebeuf [France] ; Mario Thron ; Jacek Szimanski [France] ; Bernard Chabalier [France] ; Andreas Schultz | D6.2 Requirement specifications for an integrated maintenance platform |
007E44 |
Julien Musset [France] ; Michaël Rusinowitch [France] | Computing Approximations of Linear Transition Systems |
007E70 |
Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP Decision Procedure for Protocol Insecurity with XOR |
007F04 |
Ingo Dahn ; Laurent Vigneron [France] | 4th International Workshop on First-Order Theorem Proving- FTP'2003 |
007F92 |
Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Analyse Automatique de Protocoles de Sécurité avec CASRUL |
008003 |
Alessandro Armando ; David Basin ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna ; Sebastian Moedersheim ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano ; Laurent Vigneron [France] | The AVISS Security Protocol Analysis Tool |
008B53 |
Imine Abdessamad [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Development of Transformation Functions Assisted by a Theorem Prover |
008B77 |
David Déharbe ; Silvio Ranise [France] | BDD-Driven First-Order Satisfiability Procedures (Extended Version) |
008B78 |
Frédéric Oehl ; Gérard Cécé ; Olga Kouchnarenko [France] ; David Sinclair | Automatic Approximation for the Verification of Cryptographic Protocols |
008B79 |
Yannick Chevalier [France] ; Laurent Vigneron [France] | Automated Unbounded Verification of Security Protocols |
009174 |
E. Caron [France] ; S. Chaumette [France] ; S. Contassot-Vivier [France] ; F. Desprez [France] ; E. Fleury [France] ; C. Gomez [France] ; M. Goursat [France] ; M. Quinson [France] ; E. Jeannot [France] ; D. Lazure [France] ; F. Lombard [France] ; J.-M Nicod [France] ; L. Philippe [France] ; P. Ramet [France] ; J. Roman [France] ; F. Rubi [France] ; S. Steer [France] ; F. Suter [France] ; G. Utard [France] | Scilab to Scilab//: The Ouragan project |
009583 |
Frédéric Desprez [France] ; Martin Quinson [France] ; Frédéric Suter [France] ; Eric Fleury [France] ; Emmanuel Jeannot [France] ; Claude Gomez [France] ; Maurice Goursat [France] ; Serge Steer [France] ; Serge Chaumette [France] ; Pierre Ramet [France] ; Jean Roman [France] ; Franck Rubi [France] ; Sylvain Contassot-Vivier [France] ; Frédéric Lombard [France] ; Jean-Marc Nicod [France] ; Laurent Philippe [France] ; Eddy Caron [France] ; Dominique Lazure [France] ; Gil Utard [France] | SCILAB to SCILAB// - The Ouragan Project |
009747 |
Frédéric Desprez [France] ; Eric Fleury [France] ; Emmanuel Jeannot [France] ; Frédéric Suter [France] ; Jean-Marc Nicod [France] | SCILAB to SCILAB// |
009798 |
Uwe Franz [France] ; Remi Leandre [France] ; Rene Schott [France] | Malliavin Calculus and Skorohod Integration for Quantum Stochastic Processes |
009F84 |
S. Adam [France] ; J. M. Ogier [France] ; C. Cariou [France] ; R. Mullot [France] ; J. Labiche [France] ; J. Gardes [France] | Symbol and character recognition : application to engineering drawings |
00A343 |
V. K. Dobrev ; H. D. Doebner ; Uwe Franz [France] ; René Schott [France] | Lévy Processes on $U_q(g)$ as Infinitely Divisible Representations |
00B244 |
D. Ziou ; A. Koukam [France] | Knowledge-based assistant for the selection of edge detectors |
00B260 |
A. Koukam [France] ; H. Fourar [France] | Combining objects and planning paradigms for human skeleton animation |
00BB87 |
M. Weber [France] ; M. Roussel-Delvallez [France] ; G. Laurans [France] ; T. Fosse [France] ; M. J. Dupont [France] ; R. Perez [France] ; P. Geslin [France] | Enquêtes épidémiologiques régionales sur la résistance aux antibiotiques de S. pneumoniae : résultats préliminaires de 6 Observatoires Régionaux |
00C002 |
S. Ballandras [France] ; M. Calin [France] ; S. Zissi [France] ; A. Bertsch [France] ; J. C. André [France] ; A. Bourjault [France] ; D. Hauden [France] | Actionneurs miniatures à alliages à mémoire de forme fabriqués par microstéréophotolithographie |
00D557 |
Ph Clauss [France] ; C. Mongenet [France] ; G. R Perrin [France] | Synthesis of size-optimal toroïdal arrays for the Algebraic Path Problem: A new contribution |
00D613 |
D. Talon [France] ; C. Vincent [France] ; J. M. Lionnet [France] ; J. F. Viel [France] ; M. Lab [France] ; Y. Michel-Briand [France] | Infections nosocomiales : détection continue des épidémies et alerte par réseau informatique |
00D688 |
Philippe Clauss [France] ; Catherine Mongenet [France] ; Guy-René Perrin [France] | Calculus of space-optimal mappings of systolic algorithms on processor arrays |
00D711 |
G.-R. Perrin [France] ; J.-P. Finance [France] | Communication relations : a paradigm for parallel program design |
00DA74 |
Henri Lombardi [France, États-Unis] ; Marie-Françoise Roy [France, États-Unis] | Elementary constructive theory of ordered fields |
00DD62 |
Christian Coffe [France] ; Yves Couteret [France] ; Fabienne Pouthier [France] ; André Peters [France] | Prevention of platelet alloimmunization |
00DE53 |
Jacques Julliand [France] ; Guy-René Perrin [France] | Asynchronous functional parallel programs |
00E597 |
Catherine Mongenet [France] ; Guy-René Perrin [France] | Synthesis of systolic arrays for inductive problems |
00EE25 |
J. Verdenet [France] ; J. C. Cardot [France] ; M. Baud [France] ; H. Chervet [France] ; J. Duvernoy [France] ; R. Bidet [France] | Scintigraphic image contrast-enhancement techniques: Global and local area histogram equalization |
00EE32 |
J. Julliand [France] ; G. R. Perrin [France] | Design and development of concurrent programs |
00EF02 |
J. Mouthon [France] | Structure malacologique de la rivière Aube |